Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
321	Toward Reflective Application Testing in Open Environments Eyvind W. Axelsen, Einar Broch Johnsen, and Olaf Owe Department of Informatics, University of Oslo Abstract Many distributed applications can be understood in te Add to Reading List Source URL: www.nik.no Language: English - Date: 2004-12-12 14:02:10 Mathematics Logic in computer science Maude system Computability theory Abstraction Rewriting Predicate Philosophy Normal form Theoretical computer science Formal languages Programming language theory
322	A FORMAL METHODOLOGY TO TEST COMPLEX EMBEDDED SYSTEMS: APPLICATION TO INTERACTIVE DRIVING SYSTEM ∗ Manuel Núñez,1 Fernando L. Pelayo2 and Ismael Rodríguez1 1 Departamento Sistemas Informáticos y Programación, Facu Add to Reading List Source URL: antares.sip.ucm.es Language: English - Date: 2007-12-19 12:49:12 Data management Specification Reliability engineering Science Systems engineering Technology Abstraction
323	http://www.catb.org/~esr/writings/utility-of-math/ Add to Reading List Source URL: www.nuceng.ca Language: English - Date: 2015-01-10 20:16:00 Formal systems Mathematical logic Formalism Mathematical object Geometry Axiomatic system Mathematical proof Set theory Mathematical model Mathematics Philosophy of mathematics Abstraction
324	Window subsequence problems for compressed texts? Patrick C´egielski1, Ir`ene Guessarian2 , Yury Lifshits3 , Yuri Matiyasevich3 1 LACL, UMR-FRE 2673, Universit´e Paris 12, Route foresti`ere Hurtault, F-77300 Add to Reading List Source URL: yury.name Language: English - Date: 2008-11-06 21:42:34 Pattern matching Formal languages Lempel–Ziv–Welch Archive formats Substring Compressed pattern matching Compress LZ77 and LZ78 Diff Computing Data compression System software
325	Formal Modelling of Separation Kernel Components Andrius Velykis and Leo Freitas University of York, UK [removed], [removed] Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Scheduling algorithms Scheduling Linux Microkernel Kernel Separation kernel Linux kernel Process identifier Architecture of Windows NT Computer architecture System software Software
326	University of Edinburgh A Study In The Use Of Event-B For System Development From A Software Engineering Viewpoint Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Science Theoretical computer science Systems engineering Software development methodology Scientific modelling Software development process B-Method Software testing Formal proof Software development Software Formal methods
327	Note: No proprietary or confidential information should be included NBD(NIST Big Data) Requirements WG Use Case Template Use Case Title Pathology Imaging/digital pathology Vertical (area) Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-05 08:51:10 Geographic information system Analytics Knowledge Medical physics Data analysis Medical imaging Social network analysis software Statistics Formal sciences Science
328	Current Draft: NBD(NIST Big Data) Requirements WG Use Case Template Use Case Title Large Scale Geospatial Analysis and Visualization Vertical (area) Defense – but applicable to many others Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-09-04 18:19:24 Computational science Infographics Scientific modeling Data management Formal sciences Geographic information system Visualization National Imagery Transmission Format Big data Science Technology Computer graphics
329	Dynamic face recognition: From human to machine vision Add to Reading List Source URL: profs.sci.univr.it Language: English - Date: 2011-10-29 18:01:58 Science Machine learning Formal sciences Hidden Markov models Bioinformatics Hierarchical hidden Markov model Face perception Facial recognition system Face detection Statistics Face recognition Artificial intelligence
330	Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ¨ Peter C. Olveczky Department of Informatics, University of Oslo Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:03:13 Logic in computer science Model checking Formal methods Functional specification Rewriting Maude Petri net Maude system Theoretical computer science Software development Computer science

UPDATE